On Agent Programming Language Support for Rational Communication

نویسندگان

  • Yves Lespérance
  • Steven Shapiro
چکیده

Résumé : It is generally thought that agents in a multiagent system should be capable of communicating in a highlevel, speech acts-based, agent communication language (ACL), for instance FIPA ACL. Many agent programming languages (APLs) such as Jack, JASON, JADE, etc., support communication in such ACLs, i.e., the production and reception/processing of ACL messages. They also support the specification of complex behaviors for agents, typically by allowing the definition of a library of hierarchical plans that are selected and executed at run time based on external or internal events. However, rational communication requires more than the ability to send and receive ACL messages ; the agent should understand the semantics and pragmatics of the associated communication acts. Without this, agents can only interact when they follow rigid protocols, which is difficult in open systems. Most APLs do not support any of this. In this paper, we argue that this is a serious deficiency that needs to be addressed and discuss the requirements for this. There is one tool that does support the processing of FIPA ACL message semantics and pragmatics, the JADE Semantic Add-On (JSA). But, JSA provides only limited support for the specification of complex agent behaviors. To gain a better understanding of the problem, we explore how one could combine JSA-like semantics and pragmatics processing capabilities with the complex behavior specification capabilities of a typical APL.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Communicating Rational Agents: Semantics and Verification

We present a computational semantics of communicative actions for rational agent programming languages. Three indicators are used to differentiate declarative, interrogative and imperative messages which replace the usual labels to identify socalled speech acts. We introduce a multi-agent verification logic based on the computational semantics that facilitates reasoning about communicative acti...

متن کامل

Logical Foundations for a Rational BDI Agent Programming Language (Extended Version)

To provide efficiency, current BDI agent programming languages with declarative goals only support a limited form of rationality – they ignore other concurrent intentions of the agent when selecting plans, and as a consequence, the selected plans may be inconsistent with these intentions. In this paper, we develop logical foundations for a rational BDI agent programming framework with prioritiz...

متن کامل

A General-Purpose Probabilistic Language

1.1 Introduction In a rational programming language, a program specifes a situation encountered by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the situation. Rational programming combines the advantages of declarative representations with features of programming languages such as modularity, compositionality, and type systems. A system desi...

متن کامل

OPENLOG: A Logic Language to Program Reactive and Rational Agents

This paper describes a language to program an reactive and rational agent such as that described in 5] and 7]. The new programming language, called OPENLOG, has its semantics described as a logic program which can also work as the interpreter for the language. The language is OPEN in the sense that programs written in it, can be interrupted at anytime to allow for assimilation of inputs. The la...

متن کامل

A Commitment-Based Approach to Agent Speech Acts and Conversations

This paper presents the main elements of Albatross, an agent communication language whose definition is currently under development. The semantics of Albatross, based on the social notion of commitment, allows one to define speech act types in a neat and concise way. I describe the logical relationship between messages and speech acts; give sample definitions of declarative, assertive, commissi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009